$\forall$$T$:Type, $l_{1}$,$l_{2}$,$l_{3}$:($T$ List). iseg($T$; $l_{1}$; $l_{2}$) $\Rightarrow$ iseg($T$; $l_{1}$; append($l_{2}$; $l_{3}$))